Snellius' triangulation