7は素数の代名詞