Dao's theorem on six circumcenters