theorem :: BSPACE:41

for X being set holds card (singletons X) = card X