theorem :: XPRIMES2:6978

canceled;