Üçgenlerde açı açı (A.A) benzerliği diye bilinen ifade bir teorem değil, postülattır. Yani doğruluğu ispatsız olarak kabul edilir ve diğer postülatlar, tanımlar yardımıyla ispatlanamazlar.
Bir ispat bulduğunuzu düşünüyorsanız bir yerde hata yapmışsınız demektir. Örneğin, Thales teoremi yardımıyla A.A benzerliği ispatlanamaz. Çünkü Thales teoreminin kendisini A.A yardımıyla ispatlıyoruz.