Přidána teorie k shell-sortu