ひとたびが証明されれば、上の性質を用いて、formula_14(ただし)を示すのが容易になる。