theorem :: XPRIMES0:1057

not 1057 is prime