Also, if you need a better gif, just let me know. Unfortunately, it's really hard for me to show comprehensive proof, because it's rare for me to have more than 5 nodes in a graph. :-P