In this section we prove that smooth, free, and proper group actions always yield smooth manifolds as orbit spaces. The basic idea of the proof is that if acts smoothly, freely and properly on , the set of orbits form a foliation of whose leaves are embedded submanifolds diffeomorphic to . Flat charts for the foliation can then be used to construct coordinates on the orbit space.