設定：

（０）無限（＋被算數．餘數）次數（算數）

＝（被算數）×（算數）

待入：

被算數→２

算數→３

展開：

１⊙２＋２．餘數＝４

２⊙４＋２．餘數＝６

３⊙６＋２．餘數＝８

滿足（次數＝３）

＿＿＿＿＿＿＿＿＿

商數＝３

設定：

（被算數）無限（－算數．餘數）條件（餘數＜算數）

＝（被算數）÷（算數）

代入：

被算數→１０

算數→５

展開：

１⊙１０－５．餘數＝５

２⊙５－５．餘數＝０

滿足（０’餘數）＜（５’算數）

＿＿＿＿＿＿＿＿＿＿＿＿＿＿

商數＝２

餘數＝０

算式特性

（乘法｜商數）＝（乘法｜算數）

（除法｜被算數）÷（除法｜商數）＝（除法｜算數）

（除法｜商數）＊（除法｜算數）＝（除法｜被加數）

（除法｜被算數）÷（除法｜算數）．餘數

＝（除法｜餘數）＋（除法｜商數）＊（除法｜算數）

＝（除法｜被算數）

反函式

設定：（５）×（２）．餘數＝（６）

但是：（６）÷（２）．商數≠（５）

因此：（１０）÷（５）．商數＝（２）

得解：（２）×（５）．餘數＝（１０）

設定：（２０）÷（１０）．商數＝（５）

但是：（５）×（１０）．餘數≠（２０）

因此：（２）×（１０）．餘數＝（２０）

得解：（２０）÷（１０）．商數＝（２）