これ11の次に小さい素数も7じゃね?