パピコの定理

二つで一つ
いくら候補があろうと
こいつのセットはあいつしかいない
二つで初めて成り立つの
一つだけじゃだめ

一つを二つに
いくら候補があろうと
こいつのセットはあいつしかいない
二つで初めて成り立つの
一つだけじゃだめ

一つは一つ
いくら候補があろうと
こいつのセットはこいつでしかない
一つは一つで成り立つの
一つだけでいいの