Verification attempt of the Pythagoras' theorem, step 3 [Tentative de vérification du théorème de Pythagore, étape 3].