したがって、formula_10とformula_11が垂直である場合、formula_44である。