Today I found that the theorem above was found early by Dr. Floor van Lamoen. His paper [here](http://forumgeom.fau.edu/FG2002volume2/FG200205.pdf)