theorem :: XPRIMES2:5978

canceled;