身長160cmのプロ野球選手が存在しないという事実