Lekkas, D. E. Theorem of (upwards) Harmonic Subdivision. EML 2018, 45-69.