>>393
それを定義にすると3等分できない線分が存在するね