<x, y | x^n, y^2, xyxy>からD_nへの全射準同型があって位数が同じだから単射。
どこがわからない？