6.3.7 强素数