Definition:Principal Remainder