  A geometric argument is given to prove that the Seifert genus of a positive
knot equals its slice genus. A combinatorial invariant, giving a lower bound
for the slice genus, is formulated for arbitrary knots. Properties and
applications of this invariant are discussed.
