Se sabe que los pesos medios de los toros de lidia se distribuyen normalmente con una media de 490 kg y una desviación típica de 45 kg. Calcula la probabilidad de que,
elegido un toro de lidia al azar, su peso esté entre 450 y 500 kg.