展开 定理跟定义一样吗