theorem :: XPRIMES2:1276

canceled;