theorem :: XPRIMES1:992

canceled;