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