Pulitzeri preemiaga pärjatud "Tõestus" on David Auburni teine täispikk näitemäng, mille maailma esietendus toimus 2000. aastal New Yorgis. Lugu, mille teljeks on matemaatika, ei ava meile siiski mitte teaduse, vaid inimeste saladusi. Andeka, kuid vaimuhaigust põdenud matemaatikaprofessori tütar Katherine tunneb end pärast isa surma maailmas ihuüksi olevat ning maadleb küsimusega, kui palju isa geniaalsusest ja hullumeelsusest on ta pärinud. Katherine'i sulguks meelsasti endasse, kuid paraku tuleb tal maid jagada vanema õe Claire'iga, kes on matusteks kohale sõitnud, ja isa endise õpilase Haliga, kes loodab professorist järelejäänud paberitest midagi põnevat leida... 

Vaata ka: David Auburn