theorem :: XPRIMES2:1677

canceled;