theorem :: XPRIMES0:1570

not 1570 is prime