>>598
a() も b() も用意されてるんだから
b(a^-1(α)) は問題ないだろw