Pythagorean theorem by square proof