Logarithm on Positive Real Numbers is Group Isomorphism