Michael Maestlin (also Mästlin, Möstlin, or Moestlin) (30 September 1550, Göppingen – 20 October 1631, Tübingen) was a German astronomer and mathematician, known for being the mentor of Johannes Kepler.
Hales ocenjuje, da bo celoten strogi dokaz zahteval približno 20 let dela.