$PROVE
تابع للمزيد