>>800
鳩ノ巣原理で否定する前に、命題Aそこから導出される命題Bのもとでrとpを対応させるアルゴリズムの記述を求めています。

命題Aそこから導出される命題Bのもとではpの数がrの数を上回るため、そんなアルゴリズムはありえません。

ないはずのアルゴリズムをあると主張するのは虚偽です