Grothendieck algebraization for finite over proper for spaces