つまりb≠dの際formula_59は規則違反になる)