Each of the identities can be derived after substitution of the logarithm definitions x = blogb(x), and/or y = blogb(y), in the left hand sides.
Cada unha pode derivarse da substitución das definicións de logaritmo x = blogb(x), e/ou y = blogb(y), na parte esquerda.