未確認のランはありません

DocLipschitz は未確認のランがありません。