theorem :: XPRIMES2:6677

canceled;