Dokazal manjajoče leme do prvega izreka, razen ene, ki mislim da sva jo že nekje drugje dokazala, je pa dokaj lahka.