I am taking a graduate course in probability. We are proving many theorems for conditional expectation that hold for normal expectation. Why is it not possible to do in some simpler way? Is there some theorem that would allow transferring theorems from usual expectation to conditional expectation?
(This question is related but distinct to this question I had on why we have to have two definitions at all)