User:RJGray/The proofs