For example, one can show that every subgroup of a free group is free.
Takýmto spôsobom sa dá napríklad dokázať, že každá podgrupa voľnej grupy je voľná grupa.