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