  We prove the uniqueness of the simple vertex operator algebra of OZ-type
generated by Ising vectors of $\sigma$-type. We also prove that the simplicity
can be omitted if the Griess algebra is isomorphic to the Matsuo algebra
associated with the root system of type $A_n$.
