Nepopoln dokaz zadnje leme.

Napisal in (zares?) dokazal neko nepomembno lemo, ki se jo uporabi pri nepopolnem dokazu.