theorem :: XPRIMES2:6968

canceled;