\[a^{9}\ :\ *\ \ :a = a³\]
\[a^{9}\ :\ * = a^{3} \cdot a\]
\[a^{9}\ :\ *\ = a^{4}\]
\[*\ = a^{9}\ :a^{4}\]
\[*\ = a^{5}.\]