định lý green–tao定理: [dìnglǐ]định lý。已经证明具有正确性、可以作为原则或规律的命题或公式,如几何定理。格林: (kiến trúc) đài cọccap定理: định lý cap