>>511-512
それは
>「a->b」「b->c」だから「a->c」なのは当然
となる例だね