Suatu aljabar dikatakan bertipe representasi hingga jika ia memiliki berhingga banyak kelas isomorfisma representasi tak terdekomposisi. Teorema Gabriel memberikan bahwa syarat perlu dan syarat cukup aljabar bertipe representasi hingga adalah setiap komponen terhubung dari graf tak berarahnya berbentuk diagram Dynkin. Telah ditemukan bahwa kondisi tersebut ekuivalen dengan quivernya memiliki bentuk Tits definit positif. Melalui fakta tersebut, dalam tesis ini akan disajikan bukti Teorema Gabriel melalui pendekatan geometri.