theorem :: XPRIMES1:2248

canceled;