DIVISIBILITY

Before
1: S
its
3: SUU
infinite
After
1: S
tests, rules
Surrounder Phrases
assumption implies, aboutfinite infiniterule impliesits use, infiniterules abouttests test