La formulación precisa de esta última afirmación es el teorema de von Dyck siguiente: