Proof_shows_that_the_theorem_holds