Какие свойства имеют доказательства: анализ и примеры