for n being Nat holds Rank n is finite