It is proven that the Prophet used to pray four Rak`ahs after `Isha’. As for the Hadiths which speak of the virtue of doing so, they are all extremely inauthentic; the best and strongest of them is the Hadith of Ibn `Umar, despite the fact that it is inauthentic.