Ideal Quotient is Ideal

Theorem
Let $R$ be a commutative ring.

Let $\mathfrak a, \mathfrak b$ be ideals of $R$.

Then the ideal quotient $\ideal {\mathfrak a : \mathfrak b}$ is indeed an ideal.

Proof
We shall check $(1)$-$(3)$ of Test for Ideal.