let numbertheory-sqmod4in01d = `!a:int.
    ((num_of_int(a pow 2) MOD 4) = 0) \/
    ((num_of_int(a pow 2) MOD 4) = 1)
`;;