theorem :: XPRIMES0:483

not 483 is prime