theorem :: XPRIMES0:775

not 775 is prime