仁亀より前でそれよりすごい人気だったのが剛健だったらしい