Zdroj TeX:

(1+n)+1 \overset{V3}{=} 1+(1+n) \overset{V5}{=} (1+1)+n \overset{def}{=} 1'+n