「3 名前に何が？」では関数定義と証明が出てきます 関数はその定義で置き換えることができます（Defunの法則） ここでは「再帰的でない」関数が対象です 再帰的な関数はどうするんでしょうか Dethmの法則と似てるところもありますが定理はそもそも再帰でき…