Euclid Theorems: line from centre to midpoint of chord