勾股定理
Parallelogram law and Pythagorean theorem.