Lec 3 - CA Geometry: More Proofs