Así, una prueba por inducción estructural de una proposición "P(l)" consta de dos partes: Una prueba de "P([])" y una prueba de "P(L)" implica "P(x::L)."