Der Zusatz „7→3” bleibt immer im Endlichen.