Pythagorean Proof Construction