円環の定理