Pythagorean Theorem proof puzzle