無限降下法によりgaussとkingは最低辺であることが示された。QED