Firstly, it was clear to me that $M$ might not be a bipartite matching, as nodes within $X$ might be matched to one another.
But what will our approach be to prove the existence of a vertex with all edges belonging to one of the possibly many maximal matchings?