theorem :: XPRIMES1:98

canceled;