Added a lemma to mxstructure