Prawf o'r ddeddf bŵer ar gyfer logarithmau