Dokazovanje pomozne leme za urejeno vstavljanje - nekoncano