  We establish a Cauchy type inequality for the geometric intersection number
between two 1-dimensional submanifolds in a surface. Some of the basic results
in Thurston's theory of measured laminations on surfaces are derived from the
Cauchy inequality.
