曲線cが長さを持つとする.
cを逆行せずc上の点を有限個選ぶ.
その点を順につないでできる折れ線の長さはcの長さより小さいか等しい.