[thales'+theorem.bmp]