Hall implies paracharacteristic