26. §§ 69 - 72 основываются на леммах из §§ 65, 61 - 64.