法則の証明のために進出するわけか