>>7
ウン、最初の2行がいいんじゃない?簡潔、本質ってやつ?
ふつう教科書にはもっとグジャグジャ書いてる。あれいただけない。
(pigeonholeはやはりこの補題には無用)