zhěng​yù

integral domain