Verification of a Conditaional expectation

Verification of a Conditaional expectation

Would anyone be able to verify the following equation?
E(Z|X=x)=Sum over all y {E(Z|X=x,Y=y)P(Y=y|X=x)}