kingが2次元多様体であることはどうやって証明するの?