theorem :: XPRIMES0:845

not 845 is prime