خاصية إسبات التطبيق