Elimination theory for the ring of algebraic integers.