旅人木日記またはベセスダの回想

　 よく見たんですけど、何か必要な定義が抜けてません？

＞a=c+n(nは２〜８の自然数)として一般性を失わない

　 ａ＜ｃ の時はどうなるの？































　 ａ＞c の場合、a'=a, b'=b, c'=c とし、

　 ａ＜c の場合、a'=c, b'=b, c'=a とする。

　 a'=c'+n(nは２〜８の自然数)として一般性を失わない

　 以下略