theorem :: XPRIMES1:2461

canceled;