Brouwerian counterexample to the claim "any ideal of Z is finitely generated"
Bézout property and internal Smith canonical forms