suora tulo kirjoitettu loppuun
conclusion uncommented ja H_3 esimerkki viimeistelty

lisäksi aloitettu todistus nilpotenttejen ryhmien suorista tuloista