任意の群 "g" の左からの乗法による自身への作用は正則であり、したがって忠実でもある。