theorem :: XPRIMES1:96

canceled;