类型:狗果定理