従って、"digit" は "0" または "digit excluding zero" のどちらかであり、後者は "1" か "2"、あるいは "9" までのいずれかになる。