すなわち、formula_14が成立する(単射である)必要がある。