Definition of REMAINDER