Probatio huius: Quoniam latus AG latere AB longius est, abscidam ex linea AG lineam equalem linee AB sitque linea AE. Deinde copulabo duo puncta E et B protrahendo lineam EB.
Quod ita constabit: si AG lineam ad equalitatem brevioris resecemus inque seccionis punctum E ex adverso angulo lineam BE producimus ut et infra fiat triangulus.
برهان انا نفصل من ضلع (ا ب) الاعظم مثل ضلع (ا ج) الاصغر كما بينا ذلك بشكل (ج) من (ا) وليكن خط (ا د) ونصل (ج د) فساق (ا ج) مثل ساق (ا د) من مثلث (ا ج د) فمما بينا ببرهان (ه) تكون زاوية (ا ج د) مثل زاوية (ا د ج)