If you do not find what you're looking for, you can use more accurate words.
نص الاستلزام المضاد للعكس:
« إذا كانت أطوال أضلاع مثلث ABC تحقق فإن المثلث ABC ليس قائما في النقطة A. »
رغم أن الاستلزام المضاد للعكس يكافئ منطقيا المبرهنة المباشرة، إلا أن استعماليهما مختلفان: فنظرية فيثاغورس المباشرة تستعمل لحساب طول ضلع مثلث قائم الزاوية بدلالة طولي الضلعين الآخرين، في حين أن استلزامها المضاد للعكس يستعمل لإثبات كون مثلث (قياسات أضلاعه معلومة) ليس قائم الزاوية.