A proof of this theorem will be given under some extra assumptions. And if time permits, some discussion of how this theorem generalises to higher dimension.