>>496
読んだけどダメだったよ。

>1つの角に関して角度と呼ばれる実数が対応し(>>492)

・ 確かに、1つの「角」には唯一の角度(実数)が対応する。

・ しかし、1つの角度(実数)に唯一の「角」が対応するわけではない。
  異なる「角」なのに同一の角度を有する場合があるからだ(正三角形)。

・ そして、異なる角が同一の角度(実数)を有する場合、
  角度のみから逆算してそれらの異なる角を識別することは不可能。

つまり、角=角度という流儀のもとでは、
>>473において角Aと角Bは全く同じ角という扱いになってしまう。
すると、なし崩し的に L1=L2 まで到達してしまい、ここで矛盾となる。

ダメじゃん。