theorem :: XPRIMES2:725

canceled;