Pythagorean theorem
and  triangles both have two sides equal to sides of the same squares, and an angle equal to a straight angle (an angle of 90 degrees) plus an angle of a triangle, so they are congruent and have the same area (lemma 3).