Lecture 13: Friday, 1999/11/5, 8:00-9:50 AM.
Introduced connectedness and path connectedness.
had a gap in proving "path connected ==> connected"