theorem :: XPRIMES1:4992

canceled;