2n düğümlü bir merdiven grafiğinin kaç tane spanning tree'i (gerçekleşen ağacı) vardır?

L‑merdiven grafiğinin (2n düğüm) spanning tree sayısı \[ \tau(L_n)=\frac{(2+\sqrt3)^{\,n}-(2-\sqrt3)^{\,n}}{2\sqrt3}. \]