GB 1893 Proofs