theorem :: XPRIMES0:756

not 756 is prime