結果 : transitive closure example