Графические примеры структуры доказательства