proving that

اثبات اینکه. . .