من ناحية تانية، بيسمح مساعدين الإثبات بالتحقق من كل التفاصيل اللي مش ممكن تقديمها في إثبات مكتوب بخط الإيد، وبيوفروا التأكد من إذا كانت الأدلة الطويلة زي اللي موجودة في نظرية فيت – ثومبسون.