kronecker decomposition theorem