theorem :: XPRIMES2:6948

canceled;