horosという名は、この伝説に由来する。