Add funkcje-sterujace corollary