theorem :: XPRIMES1:1262

canceled;