theorem :: XPRIMES1:95

canceled;