III.P36 — Arithmetic Preserves Operations

Translation preserves: (1) additive structure, (2) multiplicative structure, (3) GCD/LCM, (4) primality, (5) order. Full operation-preservation check at bound 6, depth 3.