Various details in thm 5