Definition ulsubmx := lsubmx (usubmx A).Definition ursubmx := rsubmx (usubmx A).Definition dlsubmx := lsubmx (dsubmx A).Definition drsubmx := rsubmx (dsubmx A).

Lemma block_mxEv : A = col_mx (row_mx Aul Aur) (row_mx Adl Adr).