User:Proof123

Just trying to improve some proofs to make them easier to understand/use