Gallai–Edmonds-féle struktúratétel