Zaključek

S pomočjo indukcije, smo dokazali pravilnost trditve. Oba seznama hkrati torej ne moreta biti prazna.