Лекция 12. Искусственные доказательства определить несколько труднее, поскольку