theorem :: XPRIMES1:1189

canceled;