>>43
７÷２を考える。被除数７は除数２を３回引けるから商は３。引ききれないで残った１が剰余。
除法を「等分する」で定義したら、等分とは何かを示さなければならない。同義語反復なのさ。