proved some stuff about snake head/tail
fixed typo
completed the proof of snake head/tail