theorem :: XPRIMES2:6972

canceled;