for K, M, N being Cardinal st K +` M in K +` N holds
M in N