theorem :: XPRIMES1:724

canceled;