theorem :: XPRIMES2:2966

canceled;