theorem :: XPRIMES1:130

canceled;