Teorema de Pitágoras: comprobación