Lemma 1.

Jika N ( i ; m , n ) menunjukkan angka atau nomor lattice paths dari

A (i,0) menuju B (m, n) yang tidak menyentuh garis y  x dan selalu berada
dibawah garis tersebut. Sehingga (i  0) m  n  0 , m  i .

m  n i m  n i
N (i; m, n)      
 n   m 
Bukti :
N (i; m, n)  nomor lattice paths dari (i,0) menuju (m, n) - nomor lattice paths
(i,0) menuju (m, n) yang menyentuh batas.
N (i; m, n)  I - II

nomor lattice paths dari (i,0) menuju

m  n i
(m, n) =  
 n 
Sehingga :

m  n i
I   
 n 

Jika nomor paths dari (i,0) menuju

(m, n) yang menyentuh batas adalah
R (i; m, n;0)

Jika setiap path pada R (i; m, n;0)

haruslah mencapai garis y=x untuk
pertama kali di titik ( j , j ) dengan
j  i, i  1,..., n sebelum mencapai
( m, n )

Pertimbangkan jika diberikan path yang mana akan mencapai batas untuk pertama
kali di titik (i, i ) maka path tersebut memiliki dua paths yaitu :
i. Dari (i,0) menuju (i, i )
ii. Dari (i, i ) menuju (m, n)
Maka gambaran dari path menuju new path diberikan :
 Mengubah (i ) menjadi refleksi garis y=x sehingga lattice point dari
(i, o) menjadi (0, i )
 Mempertahankan (ii ) seperti semula

Terlihat jelas bahwa new path adalah sebuah path dari ( 0 , i ) menuju (m, n) dan
gambarannya adalah objektif.
Hasil ini menunjukkan bahwa nomor path dari (i,0) menuju (m, n) menyentuh
garis/batas.
m  n i
Sehingga nomor path dari (0, i ) menuju (m, n) adalah  
 m 
Maka :
m  n i
II   
 m 
Hasilnya adalah :
m  n i m  n i
N (i; m, n)      
 n   m 