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

$\sum_{k=1}^{\infty} 1/k^2$ の値が $\pi^2/6$ であることを解いた問題名は。