A Proofs A.1 Proof on SHA