Ein Beweis könnte doch aus bloß zwei Stufen bestehen: etwa einem Satz ‘(x).f(x’ & einem ‘f(a)’ – spielt hier das richtige Übergehen nach einer Regel eine wichtige Rolle?