从费马的素数公式谈起