Subdivision by bisectors is dense in the space of all triangles - Steve Butler; Ron Graham (2010)