<human>: Does "A nontrivial group is called simple if its only normal subgroups are the trivial group and the group itself.s[›]" correctly answer the question of What can be used to classify small groups even though there is no classification of all finite groups?
OPTIONS:
- yes
- no
<bot>: no