とりあえず、鉛筆買ってきました。
１本でよかったんですが、
１００円ショップだと１ダース・・・
これ、一生かかっても使い切れない、笑
削ってみたんですが、簡単でした。
その様子はまた後日。