幾何です。
4頂点定理の証明を読んでいたのですが、
卵形線においてまず頂点が2つしかないと仮定すると矛盾が出るので
頂点は少なくとも３つある。
次に、頂点が3つしかないと仮定すると先ほどと同様に矛盾が出るので
頂点は少なくとも4つある。

となっていますが、この流れだと頂点が4つしかないと仮定するとまた矛盾が生じ、
頂点が少なくとも5つある、と永久に続く気がしてしまうのですが、
少なくとも4つだとなぜ矛盾が生じないのでしょうか・・・？