alemateorema kobayashi_yuukou tagme