対応する定理がない?