Korollar -> Folgerung