Доказывание: анализ связи соответствия