Comprobación teorema de pitágoras