proof of pythagorean-9