theorem :: XPRIMES0:1472

not 1472 is prime