Proof of the Pythagorean theorem