prove: $$p(x\mid z) = \sum_y p(x\mid y,z)p(y\mid z)$$
I understand a bit about marginalization. I think my prove should look like this: $$ p(x\mid z) = \sum_y p(x,y\mid z) = \sum_y p(x\mid y,z)p(y) $$
My first portion, where I add the sum of y in, seems like simple application of marginalization. However I don't quiet understand why the second part works or if it works. Anyone able to shed some light on to why this works?