theorem :: XPRIMES0:530

not 530 is prime