theorem :: XPRIMES1:2484

canceled;