Nekaj sem dokazal. Manjka še zadnja lema.