春木の定理
春木の定理（はるきのていり、）とは、次の主張のことをいう。