theorem :: XPRIMES1:2308

canceled;