theorem :: XPRIMES1:1286

canceled;