This last theorem implies, in particular, the proposition that free groups are residually finite.
Ang huling teorama nagpapahiwatig, sa partikular, ang panukala na libre na grupo ay residually hangganan.