theorem :: XPRIMES1:2401

canceled;