theorem :: XPRIMES2:3979

canceled;