theorem :: XPRIMES1:2526

canceled;