We establish a q -analogue of the congruence ( p a p b ) ≡ ( a b ) ( mod p 2 ) where p is a prime and a and b are positive integers.