theorem :: XPRIMES2:1738

canceled;