>>376
ABの長さは分かってない。
しかし「もしCO⊥ABでないなら、もっと大きい三角形が存在する」という主張をしている。