theorem
  for M,N being finite Cardinal holds M+`N is finite;
