Then any finitely presented group that contains this group as a subgroup will have undecidable word problem as well.
This statement implies that if a group contains a specific group as a subgroup, it will also have an undecidable word problem.