>>791
鳩の巣って言った方が分かりやすいじゃん
数学的には「いかなる自然数も自身の真部分集合への単射はとれない」となる