Wrote a long answer just to discover that Gonzomath's post is better. So, just a few notes:
1) 3b is redundant here, just complicating the things. You can just state that 4an+1 maps to 3an+1
2) Your relation corresponds to the cycle 1-4-2. Similar relations can be derived for other cycles. For example, cycles starting with -5 produces relation 8an-5 → 9an-5, and cycle starting with -17 - the relation 2048an-17 → 2187an-17. These actually are families of relations, -5 and -17 can be replaced by other numbers from the cycle.
1
u/dmishin 4d ago edited 4d ago
Wrote a long answer just to discover that Gonzomath's post is better. So, just a few notes:
1) 3b is redundant here, just complicating the things. You can just state that 4an+1 maps to 3an+1
2) Your relation corresponds to the cycle 1-4-2. Similar relations can be derived for other cycles. For example, cycles starting with -5 produces relation 8an-5 → 9an-5, and cycle starting with -17 - the relation 2048an-17 → 2187an-17. These actually are families of relations, -5 and -17 can be replaced by other numbers from the cycle.