TeX source:
df=n−2=17