Euclid Today!: Proposition 9