theorem :: XPRIMES0:1473

not 1473 is prime