Tomita-Takesaki Theorem