>>640
直感的にそれは分かるんですが、厳密に証明したいなーと思いまして。