theorem :: XPRIMES2:2526

canceled;