إذا كان هناك قائمة تصنيف رسمية للبراهين الرياضية، فإن الإثبات بالتناقض يعتبر بسهولة من الدرجة S، أليس كذلك؟