Dokaz končan

Enkrat bo verjetno se še treba dobit pa počistit odvečne leme.