[Gastrectomy for a patient with congenital factor VII deficiency--a case report].