theorem :: XPRIMES2:724

canceled;