Pythagorean theorem proof 1 finished