Removing drafts
Thales' theorem draft