///
Segundo o teorema de Pitágoras, a hipotenusa c de um triângulo retângulo de catetos a e b é calculada por meio da fórmula c = \(\sqrt{a^{2} + b^{2}}\), em que a > 0 e b > 0. A demonstração de correção de um programa que calcula o comprimento da hipotenusa c, tendo como dados de entrada os valores a e b para o comprimento dos catetos, deve estabelecer que sempre que a e b satisfizerem a propriedade de a > 0 e b > 0, o predicado a2 + b2 = c2 será satisfeito após a execução do programa.