Y by Themathyguy, yaseenmollik, Instance, Adventure10, ImSh95, Mango247
Each grid point of a cartesian plane is colored with one of three colors, whereby all three colors are used. Show that one can always find a right-angled triangle, whose three vertices have pairwise different colors.