# Example for $(\mathfrak{a} + \mathfrak{b}) (\mathfrak{a} \cap \mathfrak{b}) \subsetneq \mathfrak{a} \mathfrak{b}$

In Atiyah-MacDonalds book on Commutative Algebra we have on page 6 the following statement ($\mathfrak{a}, \mathfrak{b}$ denote ideals in a ring):

"(...) in $\mathbf{Z}$ we have $(\mathfrak{a} + \mathfrak{b}) (\mathfrak{a} \cap \mathfrak{b}) = \mathfrak{a} \mathfrak{b}$; but in general we have only $(\mathfrak{a} + \mathfrak{b}) (\mathfrak{a} \cap \mathfrak{b}) \subseteq \mathfrak{a} \mathfrak{b}$."

Unfortunately they do not give any example where the inclusion is strict. Does anyone know such an example?

Thanks a lot!