Made two additional lemmata for mwov_minimal_wiv.