そんな定理はない。