In this short note we present a theorem on residual ideal of a commutative ring with apartness in constructive mathematics.