定理Bなんて、これのどこが非自明なんてすか?って言われるぞ