Samo še tista lema z nenajmanjsimi je za dokazat

Je v datoteki pomozne.v
Vse ostalo je pošlihtano.