An Extension of H  Ormander's Theorem for Infinitely Degenerate Second-order Operators 3