Give a proof of ⊢ A ≡ B ≡ (A ∧ B) ∨ (A ∧ B)

Showing all steps and the names of the steps as used.

Thanks!