theorem :: XPRIMES0:1156

not 1156 is prime