theorem :: XPRIMES0:748

not 748 is prime