theorem :: XPRIMES0:752

not 752 is prime