esimerkit aliryhmäjonoista
sivullinen uutta osutta

p-ryhmät todistettu nilpotenteiksi
suora tulo määritelty