Proof: The first part is the well known calculation and we refer to [1]} for details. The second follows immediately from the definition
of the induction functor and the fact that \(U\mathfrak {g}\)  is a free \(U\mathfrak {g}_0\) -module.
\(\square \)
