Bizonyítsuk be, hogy véges sok valós számot mindig két csoportba lehet osztani úgy, hogy az egyes csoportokon belül semelyik két szám különbsége ne legyen $3^k$ alakú, ahol a $k$ egész szám.