Pascal's triangle
for 0 &lt; "k" &lt; "n", which follows from =; this leads to the construction of Pascal's triangle.