Bigon criterion
= Bigon criterion
{wiki}
Two transverse essential simple curves or proper arcs on a surface are in <minimal position of curves or arcs>[minimal position] exactly when they form no <bigon formed by two arcs>[bigon]. For proper arcs, the proof uses the compactification of the universal cover to control their ends at punctures.