評価->簡約
証明してみよう
ベータ簡約の定義についてちょっと…