模試ではCH定理使ってよいのに