theorem :: XPRIMES2:4992

canceled;