theorem :: XPRIMES2:6106

canceled;