теорема об однозначности