theorem :: XPRIMES0:1020

not 1020 is prime