theorem :: XPRIMES0:720

not 720 is prime