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