theorem :: XPRIMES1:1254

canceled;