fix minor typos error on proof for r(t)
chg list to deque in is_connex() for performances
remove this commit