theorem :: XPRIMES2:1727

canceled;