hypotenuse = a b c ->                            hypotenuse = a b ->
  square = x ->                                    hypotenuse a b 0
    x ** 2                                       ;
  ;

  sqrt (square a +
        square b +
        square c)
;


