Riy.XI.9. Şagird həndəsi qanunları isbat etmək üçün deduktiv/induktiv mühakimə edə və cəbri texnikadan istifadə edə bilər.
Nəticə göz önündədir, əgər şagird:
Verilmiş həndəsi qaydalar arasında məntiqi əlaqəni (məsələn, əlaqəlik) tapır; deduktiv və induktiv mühakimədən istifadə edir;
Ayrıca həndəsi qaydaları ümumiləşdirir; hipotezanı formalaşdırır və onu əsaslandırır/inkar edir (o cümlədən riyazi induksiyadan istifadə etməklə; məsələn, müstəvidə və fəzada Eyler düsturu);
Evklid həndəsəsinin aksiomatikasının ziddiyyətsizliyi haqqında mülahizə yürüdür;
Həndəsi qərarları isbat etmək üçün cəbri çevirmələrdən istifadə edir.