IM3 October 13th Remainder theorem