エリファス

5 > 3
4 > 3
3 = 3
2 < 3
1 < 3
↓
5 - 3 =　2
4 - 3 =　1
3 - 3 =　0
2 - 3 = -1
1 - 3 = -2

2 Number Big & Small Comparison
‖
Subtract
&
Subtracted number, 0 or not
&
Subtracted number, natural number--0, 1, 2-- or not

2つの数の大小比較
‖
引き算
&
引き算した後の数が0か否か
&
引き算した後の数が自然数--0、1、2--か否か

Subtracted number, 0 or not
‖
Subtracted number, all 0 binary or not

引き算した後の数が0か否か
‖
引き算した後の数が2進数の全て0か否か

0 = 00
0 = 000


421
---
111 -1
110 -2
101 -3
100 -4
011 3
010 2
001 1
000 0
---
+
-

Subtracted number, natural number or not
↓
i.e.
case by case, but
subtracted number, "4 x 0" or not

引き算した後の数が自然数か否か
↓
例えば
場合によって異なりますが
引き算した後の数が「4 x 0」か否か