Doplněn tokový důkaz Hallovy věty.