theorem Harm1: :: MOEBIUS3:10

Harmonic 1 = 1