The Weitzenbock theorem about invariants

This theorem from 1932 says that the ring of polynomial first integrals of a linear vector field is finitely generated. I will present a new constructive proof of this result.