>>648
(1)、(2)はa≠bなら1<Kで矛盾
点列を利用するとその極限として点が見つかるから