
theorem
  for x being set for X being infinite set holds card {x} in card X by
