Hall implies paracharacteristic

Corollaries

 * Hall implies paranormal
 * Hall of normal implies paranormal

Facts used

 * 1) uses::Hall implies join of Sylow subgroups
 * 2) uses::Sylow implies paracharacteristic
 * 3) uses::Paracharacteristicity is strongly join-closed