>>593
どこにもそんな証明は書いてない
なぜなら鳩ノ巣原理で否定されるnに対するアルゴリズムを著者である高木くんですら知らないんだから