[::] : -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
