Pythagorean theorem - Liu Hui proof