Dyadic Exponential Congruence, The Law of