prove length of string