Der Vergleich des Beweises mit der Kette ist natürlich ein logischer Vergleich und also ein vollkommen exakter Ausdruck dessen, was er illustriert.