lisäys tehty korollaariin