Přidána teorie k merge-sortu