声優が演じるのはキャラだけど舞台の紅葉鬼ではキャラじゃない
それなのに名前を出してるということは高人としてのシーンがあるというとこ
つまり純粋な舞台としての紅葉鬼ではない