根拠があいまいな立式はしないほうがいい
全列挙をうんざりするほどやっておけば自然に式で考えられるようになる