“Wenn er das versteht, so muß er das auch verstehen.” Das könnte alles mögliche heißen. Vor allem könnte damit eine Hypothese angesprochen sein: “Wenn der innere Mechanismus wirklich so ist, dann muß er auch das bewirken”. Aber dieser Aspekt der Sache interessiert mich nicht.
  Der obere Satz soll eigentlich heißen: “Wenn er das System versteht, muß er auch diesen Satz verstehen”. Oder: “Wenn er dieser Linie
wirklich folgt so würde er ihr auch ◇◇◇ folgen wenn sie anders wäre”.