Procharacteristic of normal implies pronormal