Example 4.7 (An Infinite Group Model)

Proving the group of a small step quadrant model is infinite.
Requirements: None