Boolean Algebra: prove this Consensus Theorem

(x+y)(y+z)(x'+z) = (x+y)(x'+z)?
Given:
(x+y)(y+z)(x'+z) = (x+y)(x'+z)

Step 1 = Reduce the left side

----------------------------Multiply the left side:
left = (x+y)(y+z)(x'+z)
left = ((x+y)(y+z))(x'+z)
left = (xy + xz + yy + yz)(x'+z)
Simplify:
left = (xy + xz + y + yz)(x'+z)
left = (xy + xz + (y + yz))(x'+z)
left = (xy + xz + y)(x'+z)
left = (y + xy + xz)(x'+z)
left = ((y + xy) + xz)(x'+z)
left = (y + xz)(x'+z)
Multiply:
left = x'y + yz + xx'z + xzz
left = x'y + yz + 0 + xz
left = x'y + yz + xz

Step 2 = Reduce the right side

----------------------------Multiply out the right side:
right = (x+y)(x'+z)
right = xx' + x'y + xz + yz
Simplify:
right = 0 + x'y + xz + yz
right = x'y + xz + yz
Step 3 = compare left and right
------------------------------left = right
x'y + yz + xz = x'y + xz + yz
check.

Since the left and right are equal, then

the theorem is demonstrated.