Commentary history

1 edit.

Yongxi (Aaron) Lin · 2026-08-08 04:08:56 UTC

Mixed-radix sum-set construction from the record witnesses A_145 and A_150: C = A_145 + 145 A_150. Validity follows by reducing a putative relation mod 145, forcing the A_145 digits equal, then dividing by 145 and using validity of A_150.