proof of uniqueness, modulo something we need