Respuesta :

crisforp
x - 1 is not null => x is not 1 => D = R - {1};