mathematical proofs 8712734