I have seen proof of Tutte's theorem from Gallai's lemma. Lovasz also said in his Matching theory that Gallai's lemma can be easily proven from Tutte's theorem. But I cannot figure out how. Thanks!