aka the Intercept theorem. Yep, I know Thales discovered it about 2 1/2 millennia ago. Perhaps I am picking nits or fits, however I do agree it is time to rename theory and discovery away from the dead-old-white-man method of naming, especially as regards very old discoveries. It over celebrates the discoverer as opposed to the discovery. It tells us nothing about the nature of the discovery. It also suggest the DOWs were the only smart people about.
I also consider the discovery of mathematics, processes, and physics to be just that, discoveries not inventions.