Cosmo complains: "At the party yesterday at our place, some guys were smoking in our living room. This morning we detected that these careless smokers had burnt four holes into the carpet."
Fredo: "What a shame!"
Cosmo continues: "The carpet is a square of side length 2.75 meters. The cigaret holes are tiny, essentially point-shaped, but clearly visible. We shall put the carpet to the garbage."
Fredo says: "But you could also cut the carpet down to a smaller square of side length 1 meters."
Cosmo: "I am not sure that this is possible. The cigaret holes are badly distributed."
Fredo: "It definitely is possible to cut the carpet down to a square of side length 1 meters."
Question: Is Fredo right?