theorem :: XPRIMES2:5948

canceled;