Verilenler ve İspatlanacaklar

İki köşede de küçük kare var, bu yüzden ikisi de dik açıdır. Biri çok daha büyük çizilmiş. Bir cetvel, bunların eşit olduğunu kesin olarak gösteremez. Bir kanıt gösterebilir. Kanıt, ifadelerden oluşan bir listedir. Her ifadenin bir gerekçesi vardır. Gerekçe, işaret gibi verilen bir bilgi ya da bütün dik açılar eşittir gibi bir kuraldır.