for K being Cardinal holds 2 *` K = K +` K