I'm looking for a proof of the following well-known proposition. I checked some books on algebraic number theory but could not find it.
Proposition Let $L$ be a finite extension of an algebraic number field $K$. Let $A$ and $B$ be the rings of integers in $K$ and $L$ respectively. Let $I$ be an ideal of $A$. Then $I = IB \cap A$.