TeX source:
df=n−2=7