Decompositions of a Higher-Order Tensor in Block Terms—Part I: Lemmas for Partitioned Matrices | Synapse