>>896
その定理に関わるいくつかの系とか補題とか反例とかは放置ですか?