Higman's embedding theorem

Statement
Any recursively presented group can be embedded as a subgroup of a finitely presented group.