theorem :: XPRIMES2:4978

canceled;