Přidána teorie k insert sortu