Last nonzero digit coloring
ID: last-nonzero-digit-coloring
For a prime number , write a positive integer as with . Its last nonzero base- digit is , an element of . Assigning this digit as the color gives the last nonzero digit coloring used in the necessity proof of Rado's theorem.
New to topics? Read the docs here!