harts theorem