theorem :: XPRIMES0:1482

not 1482 is prime