theorem :: XPRIMES2:1739

canceled;