729は「aの性質に言及するのをやめれば、共通の要素を作れる」と言っている
737は「aの性質を考えると、共通の要素は⊥しかない」と言っている

つまり、型を考えるのをやめれば便利なものを作れるが、
型を考えると、そんな便利なものは存在しないということを証明できる