সংখ্যাতত্ত্বে গ্রীন-টাও থিওরেম প্রমাণ করেছেন বেন গ্রীন এবং টেরেন্স টাও যুগ্মভাবে, ২০০৪ সালে।[১] এই উপপাদ্য বলে যে, মৌলিক সংখ্যার ধারা অবাধভাবে পাটিগণিতীয় প্রগ্রমণে পাওয়া যেতে পারে। অন্য কথায়, kটি পদ নিয়ে পাটিগণিতীয় প্রগ্রমণ থাকবে, যেখানে k যেকোনো একটি স্বাভাবিক সংখ্যা। এই প্রমাণটি Szemerédi's theorem এর বর্ধিত রূপ।
২০০৬ সালে টেরেন্স টাও এবং টামার জিগনার বহুপদী প্রগমণকে বর্ণনা করতে এই ফল ব্যবহার করেছিলেন।[২]