Existence of the Rank Function