Ф.Н. Пахомов. Лекция 24. Некоторые факты о системе ATR0 . Доказательство фундированности в ATR0