Systems of Curves on Surfaces

It is proved that for each compact (bordered) surfaceΣand each integerkthere is a constantNwith the following property: IfΓis a family of pairwise nonhomotopic closed curves onΣsuch that any two curves fromΓintersect in at mostkpoints, thenΓcontains at mostNcurves.