theorem :: XPRIMES2:6071

canceled;