菅原定理