classification theorem of finite simple groups - German English Dictionary