Rigorous Mathematical Steps for Sensitivity Analysis of High Impedance Ground Fault Detection in Power Distribution Systems. Issue 1 (1st January 2020)