Since E[Y] = E[E[Y/X]], can i infer that Y = E[Y/X]? Therefore i conclude that:
Cov(X, E[Y/X])
= E[(X - E[X])(E[Y/X] - E[E[Y/X]])]
= E[(X - E[X])(Y- E[Y])]
= Cov(X, Y)
Thanks in advance!

No you can't. But, it is true thatfor any function
(that's a characterization of the conditional expectation).
You can use the above equality withTherefore i conclude that:
Cov(X, E[Y/X])
= E[(X - E[X])(E[Y/X] - E[E[Y/X]])]
= E[(X - E[X])(Y- E[Y])]
= Cov(X, Y)
Thanks in advance!: it gives
. Since additionaly
, this justifies your second equality.