theorem :: XPRIMES1:1292

canceled;