Proofs for the Hanafi Procedure of Salat al-Eid