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