prove that dumbest clustering satisfies constraints