>>13309690Well not really, there are negative integers as well. Making it an undecidable problem. However, if one where to exclude negative numbers then you could compare the set of integers smaller than graham's number and bigger than 0 with the set of integers that are greater than graham's number but smaller than 3 times graham's number and prove it right
