Added proof about length of splitted lists