theorem :: XPRIMES0:1054

not 1054 is prime