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

Lemma block_mxEul i j : A (lshift m2 i) (lshift n2 j) = Aul i j.