Let be a Dedekind domain, and let and be ideals of . Then there is an element and an ideal of such that
This result was proved by Steinitz in 1911.