未完。

同値であることの証明（逆が成り立つことの確認）を一切省略せずに行っているので、教科書よりも若干難易度が高めです。