狗果定理已采集over