formula_29もformula_26も非ゼロであれば、両者は異なる。