(17,72) → ¬Z;AND THUS, WE GET A CONTRADICTION AT 72

72 : - BÁO CÁO TOÁN HỌC FANS AND BUNDLES IN THE GRAPH OF PAIRWISE SUMS AND PRODUCT POTX
Toán BÁO CÁO TOÁN HỌC FANS AND BUNDLES IN THE GRAPH OF PAIRWISE SUMS AND PRODUCT POTX
72: (18,72)→ ¬y; 17: (17,16)→ ¬x; 72: (17,72) → ¬z;and thus, we get a contradiction at 72. a

References

[HS] Neil Hindman, Dona Strauss: Algebra in the Stone- ˇCech Compactifica-tion, Walter de Gruyter [Expostitions in Mathematics 27], Berlin·New York (1998).[Sl] Neil J. A. Sloane: The On-Line Encyclopedia of Integer Sequences, URLAddress: https://traloihay.net∼njas/sequences/