Quale matematico determinò un metodo per disegnare un poligono regolare a 17 lati utilizzando compasso e riga?