Теорема об эквивалентности определений