special case 1 as a finite case because quotient/remainder don't do the same thing