r群は群をなす。よって、r群はr群の部分群である。