任意の三角形において、各辺の三等分線の交点が正三角形を作るという定理は。

$a, b$ が互いに素なとき、$ax+by=1$ を満たす整数 $x, y$ が存在することを示す定理は。