6.8.25 Set theory

condition: Check the validity of the equality: \[ A \times C=(A \times(C \cap B)) \cup(A \times C) \text { for } \] sets: \( A=\{1,2\}, B=\{2,3\}, C=\{1,3\} \).