57がグロタンディーク素数なのはカーマイケル数とか擬素数の類かと思ったら、理論的含蓄が別に何もない、「49は素数」と同レベルの内輪ネタだったのでがっかりした。

アンパンチ(unpunch): パンチ器で紙にあけた穴を埋めること。