Kepler deduced that planet orbits are ellipses