theorem :: DIFF_1:29

for x0, x1 being Real
for f being Function of REAL,REAL holds [!f,x0,x1!] = [!f,x1,x0!]