>>579
ここで話題の定理の証明を読んでみてください