theorem :: COUNTERS:34

for c being Cardinal
for x being object holds card (c --> x) = c