Definition of Remainder