theorem :: XPRIMES2:8978

canceled;