theorem :: XPRIMES0:746

not 746 is prime