>>293
定理として同値というのはどういう意味?