proof of lemma that omst implies minimal frmla