いつも思うんだが、↑の『132人目の素数さん』の132って何なんだ?