Tag quotient remainder theorem