>>522
2つはないのは証明できたのね。
で1つしかない場合にも矛盾は導けてるん?