I.47 – Prove that in a right-angled triangle the square on the hypotenuse equals the squares on the sides (Pythagorean theorem)