Do these two sentences from wikipedia have the same meaning?
As long as formula _ 30 then the reduction is valid thus formula _ 31 .
As long as Formula 30 is valid , the reduction is thus Formula 31 .
no