shorten proof