It is then necessary to check that there exists a simple group for each characterization and that it is unique.
Siten on välttämätöntä tarkastaa, että on olemassa yksinkertainen ryhmä kutakin karakterisointia kohti ja että tällainen ryhmä on yksikäsitteinen.