Açıklanmış kanıt, teori değildir. Neyse.