これ証明されると何か有用な定理の証明に使えるのか?