A video about CA Geometry: Proof by Contradiction