theorem :: XPRIMES2:1286

canceled;