اثبات (4)