$(A\cap B)\cup C = A \cap (B\cup C)$ if and only if $C \subset A$ I have a set identity: $(A \cap B) \cup C = A \cap (B \cup C)$ if and only if $C \subset A$.
I started with Venn diagrams and here is the result:

It is evident that set identity is correct. So I started to prove it algebraic:
1) According to distributive law: $(A \cap B) \cup C = (A \cup C) \cap (B \cup C)$
2) ...
I stuck a little. Because $C$ is a subset of $A$. I thought of pulling out: $(B \cup C)$ but it seems wrong step to me.
How to prove this identity having in mind that $C \subset A$?
Updated
Venn diagram for $C ⊈ A$


Here is a full algebraic proof.  Let's first expand the definitions:
\begin{align}
& (A \cap B) \cup C = A \cap (B \cup C) \\
\equiv & \;\;\;\;\;\text{"set extensionality"} \\
& \langle \forall x :: x \in (A \cap B) \cup C \;\equiv\; x \in A \cap (B \cup C) \rangle \\
\equiv & \;\;\;\;\;\text{"definition of $\;\cap\;$ and $\;\cap\;$, both twice"} \\
& \langle \forall x :: (x \in A \land x \in B) \lor x \in C \;\equiv\; x \in A \land (x \in B \lor x \in C) \rangle \\
\end{align}
Now we have a choice to make: do we distribute $\;\lor\;$ over $\;\land\;$ in the left hand side, or $\;\land\;$ over $\;\lor\;$ in the right hand side?  Since this expression is completely symmetric, we arbitrarily choose to distribute on the left hand side, and continue our logical simplification after that:
\begin{align}
\equiv & \;\;\;\;\;\text{"distribute $\;\lor\;$ over $\;\land\;$ on left hand side"} \\
& \langle \forall x :: (x \in A  \lor x \in C) \land (x \in B \lor x \in C) \;\equiv\; x \in A \land (x \in B \lor x \in C) \rangle \\
\equiv & \;\;\;\;\;\text{"extract common conjunct out of $\;\equiv\;$"} \\
& \langle \forall x :: x \in B \lor x \in C \;\Rightarrow\; (x \in A  \lor x \in C \equiv x \in A \rangle \\
\equiv & \;\;\;\;\;\text{"simplify one way of rewriting $\;\Rightarrow\;$"} \\
& \langle \forall x :: x \in B \lor x \in C \;\Rightarrow\; (x \in C \Rightarrow x \in A) \rangle \\
\equiv & \;\;\;\;\;\text{"combine both antecedents"} \\
& \langle \forall x :: (x \in B \lor x \in C) \land x \in C \;\Rightarrow\; x \in A \rangle \\
\equiv & \;\;\;\;\;\text{"simplify antecedent: use $\;x \in C\;$ in other side of $\;\land\;$"} \\
& \langle \forall x :: x \in C \;\Rightarrow\; x \in A \rangle \\
\end{align}
Now we only have to wrap up:
\begin{align}
\equiv & \;\;\;\;\;\text{"definition of $\;\subseteq\;$"} \\
& C \subseteq A \\
\end{align}
