Tag remainder factor theorem