Haga's Theorem