Week 1 - Thales' theorem