theorem :: XPRIMES1:1287

canceled;