theorem :: XPRIMES0:1095

not 1095 is prime