عادلة بشكل يمكن إثباته

يتطلب الأمر المزيد من المُدخَلات للتحقق من النتيجة