ıf r = s and s = t are theorems, then so is r = t

listen to the pronunciation of ıf r = s and s = t are theorems, then so is r = t
Английский Язык - Английский Язык

Определение ıf r = s and s = t are theorems, then so is r = t в Английский Язык Английский Язык словарь

If r = s and s = t are theorems, then so is r = t
transitivity