Harmonic (0 + 1) = (Harmonic 0) + (1 / (0 + 1)) by Harmon1
.= 1 by Harm0 ;
hence Harmonic 1 = 1 ; :: thesis: verum