theorem LogZero: :: MOEBIUS3:12

ln . 1 = 0