GB 1746 Proofs