add some reduction of expanded Eucilid Theory