Haar Uniqueness Theorem