Proposición 3.2.6 (Teorema de Pítágoras).