theorem Harm0: :: MOEBIUS3:8

Harmonic 0 = 0