Dann kann ich sagen „seine Rechtmäßigkeit ist durch α bewiesen”.
     Aber hier hat eben das Wort „Rechtmäßigkeit” eine andre Bedeutung, als wenn ich sage: die Rechtmäßigkeit des Übergangs von (a + b)² auf a² + 2ab + b² ist bewiesen & damit meine dieser Übergang lasse sich in lauter Stufen von zuvor bestimmten Formen zerlegen.