鉛筆の長さが現在7mmなんですが
これは使い切ったということでよろしいでしょうか？