theorem :: XPRIMES0:755

not 755 is prime