theorem cardB: :: VECTSP13:25

for R being non degenerated Ring
for n being Nat holds card (Base (R,n)) = n