\lecture{06}{}{AC and the well ordering theorem}