Письмо

Дополнения к доказательству теорем по теории схем-программ.