その定理はちゃんと証明されてるのか?