²Actually, the argument domain must have some additional properties so as to belong to category IntegralDomain.