İspat, Amerikalı oyun yazarı David Auburn tarafından 2001 yılında yazılmıştır. Oyun ünlü bir matematikçi olan Robert’ın ölümüyle başlar. Robert geride ünlü matematik teoremleri, binlerce öğrenci, yaşadığı ev ve çalışma odasında kendi el yazısıyla doldurduğu yüzlerce defter bırakmıştır.Robert’tan geriye kalanlar (mirası) kızları Catherine, Claire ve eski öğrencisi Hal arasında fikir ayrılıklarına yol açar.

İspat; kadın olmak, emek vermek, miras, yas tutmak, birey olmak, bilim etiği, sorumluluk gibi kavramları merkeze alıyor.