theorem :: MOEBIUS3:18

for n being non zero Nat holds ln . (n + 1) > 0