The principles of gastric resection.