検索したら不能と不定で÷0を場合分けして説明しているサイトがあったな
初等的ながら操作を用いて「不定性」を制御するIUTにも関係している話であるわけだ