proof of pythagorean-5