theorem :: XPRIMES0:1104

not 1104 is prime