Билдәле булыуынса, y = a x {\displaystyle y=a^{x}} күрһәткесле функцияһы ( a {\displaystyle a} өсөн күрһәтелгән шарттар үтәлгәндә) бар, монотон һәм үҙенең һәр ҡиммәтен бер генә тапҡыр ҡабул итә, шуның менән бергә ҡиммәттәре өлкәһе бөтә ысын ыңғай һандар күмәклеге[6]. Бынан ыңғай һандың ысын логарифмы ҡиммәте һәр саҡ бар һәм берҙән-бер булыуы килеп сыға.