初項と公差が互いに素である等比数列には無数に素数が存在する