条件付確立じゃない
ちゃんと法則の名前がある