(a) -> (b)

# the witness generator will always return the
# lower root

# radix = √
# square (2) root
b = (2*one) radix (1*a) # b is the square root of a

0 = (1*b) * (1*b) - (1*a) # assert that a = b*b