theorem :: XPRIMES2:2677

canceled;