なんと，OR辞典2007がwikiとして，そして，ORアーカイブ集なるものがセットアップされたようです．また驚きました．

よくあることだけども，書いてるうちにどんどん証明が簡素化されていって，見た目の上では証明が一段と簡単に思えてきてしまう．