有限でなくても成り立つか自分で証明したらどう