proofs in mathematics 428896