Kleinigkeit beim Beispiel zum Reduktionskriterium