Rezk completion as quotient