Finitely presented group