DEPRECATED Non-right triangle proofs