theorem :: XPRIMES0:1055

not 1055 is prime