爺の総数とうちわくプロたちどっちが入るかな