theorem :: XPRIMES2:5966

canceled;