Иллюстрации и примеры методов доказательства эквивалентности генерических