1 Beviser for logaritmeregneregler