for K being Cardinal holds K *` 1 = K