It may be (but need not) be possible to factor a given matrix, suitably partitioned, as a Kronecker
product of two other matrices. For example, a zero matrix can always be factored as a Kronecker
product of a zero matrix and any matrix of suitable size. The following theorem provides a necessary
and sufficient condition for a Kronecker factorization.