Prove with Boolean algebra the consensus theorem. Give a reason for each step in your proof.

(x +y) . (x' + z) . (y + z) = (x + y) . (x' + z)