hypotenuse = a b c ->                            hypotenuse = a b ->
  sqrt (a ** 2 +                                   sqrt (a ** 2 +
        b ** 2 +                                         b ** 2)
        c ** 2)                                  ;
;

