Doplněn vzorec