Fix a statement in topologies.tex

Also added a few of the omitted proofs