誰もが b - a = |[a, b]| は自明だと思ってしまいますが、そうではないということを
うまく説明しています。