Any finitely generated group can be embedded in a finitely presented group if and only if it is recursively presented.
Anumang finitely binuo ng grupo ay maaaring-embed sa isang finitely ipinapahayag ng grupo at kung lamang kung recursively ito ay ipinapahayag.