Gyentzen presentations