theorem :: XPRIMES2:6945

canceled;