 Ring generated by algebraic integers

A ring generated over $\mathbb{Z}$ by finitely many algebraic integers is a finitely generated $\mathbb{Z}$-module.