素数の基本的な定義