Nontrivial group (source code)

= Nontrivial group

A nontrivial group has more than one element.