>>60
十分性の判定には前提条件が必要。