theorem :: XPRIMES0:1479

not 1479 is prime