Talk:Ordinal Equal to Rank

Does this prove 'Rank is Well-Defined'? --Lord_Farin (talk) 07:21, 24 August 2012 (UTC)