Pythagoreans' Proof