A esto se llama la "propiedad del producto mixto", porque mezcla el producto ordinario de matrices y el de Kronecker.