Ġspat n üzerinden tümevarımla gösterelim. n 1 için açık olup det 1 1 T T 2 ve
n 2 için det 2 det 2 T T 1 i 1 i 3 olur. Şimdi n m için doğru olduğunu
kabul edelim. Yani detT m T m1 olsun. O halde n m 1 için doğru olduğunu
gösterelim. Denklem (3.1.1.1) den