Komentarji: Končne vrste in popolna indukcija (Derive)