https://alandroidnet.com/related/pythagorean theorem proof