It is proved that the vertex operator algebra V is isomorphic to the moonshine VOA V of Frenkel-Lepowsky-Meurman if it satisfies conditions (a,b,c,d) or (a',b,c,d). These conditions are: (a) V is the ...