Two-dimensional measured laminations of positive Euler characteristic

The sphere lemma of A. Connes says that a compact oriented, 2-dimensional measured lamination of positive Euler characteristic has many sphere leaves. The original proof of Connes uses non-commutative geometry. We give a new proof, using branched surface methods borrowed from 3-manifold theory, and some measure theory imported via Rochlin's lemma.