the existence of least area surfaces in 3-manifolds