Frege and Kant on geometry