Takesaki Conditional Expectation Theorem