Zariski–Samuel theorem