theorem :: XPRIMES0:1080

not 1080 is prime