theorem :: XPRIMES0:507

not 507 is prime