User:Pythagoraso Theorem