prove things about uniqueness