theorem :: XPRIMES0:724

not 724 is prime