https://123dok.org/document/qmjvd385-dimostrazione-ogni-sottogruppo-generato-normale-infatti-ordine-allora.html