theorem :: XPRIMES1:1063

1063 is prime