theorem :: XPRIMES1:2471

canceled;