altitude theorem