theorem :: XPRIMES2:1674

canceled;