theorem Th16: :: SURREALR:16

for X being set holds card (-- X) c= card X