群の位数に関する積の法則
↑ Rotman 1995, p. 30.
↑ Isaacs 2008, p. 304.