Proofs for Four Rak’ats before the Isha prayer