[<<] : -a ->
Arg X, A, B : Integer, . : IS_TRIPLE

If Square( X ) = Square( A ) + Square( B ) then
 Return 1
Else
 Return 0

Square [<<] = ?(X : Integer) ^ 2
