As a corollary to this theorem Higman proved the existence of a universal finitely presented group containing every finitely presented group as a subgroup.
Bilang isang corollary na ito teorama Higman proved ang pagkakaroon ng isang universal finitely ipinapahayag grupo na naglalaman ng bawat finitely ipinapahayag ng grupo bilang isang pangalawang putulong.