15. Předat parametry VS k založení formální kontroly ()