Эквивалентность определений (начало доказательства)