訂正
誤　;;(valid-proof? x) の定義があると仮定する。ｘが妥当な証明なら'()

正　;;(valid-proof? x) の定義があると仮定する。ｘが妥当な証明でないなら'()