TeX source:

4075.5