اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
نص الاستلزام المضاد للعكس:
« إذا كانت أطوال أضلاع مثلث ABC تحقق فإن المثلث ABC ليس قائما في النقطة A. »
رغم أن الاستلزام المضاد للعكس يكافئ منطقيا المبرهنة المباشرة، إلا أن استعماليهما مختلفان: فنظرية فيثاغورس المباشرة تستعمل لحساب طول ضلع مثلث قائم الزاوية بدلالة طولي الضلعين الآخرين، في حين أن استلزامها المضاد للعكس يستعمل لإثبات كون مثلث (قياسات أضلاعه معلومة) ليس قائم الزاوية.