Diagonal uniqueness conjecture. For all nonnegative integers aaa and ggg, there exists a unique integer bbb such that