if r = s and s = t are theorems, then so is r = t

listen to the pronunciation of if r = s and s = t are theorems, then so is r = t