定理 守 一 大