The result was proved by using measure classification theorem for diagonalizable actions of higher-rank groups, and an isolation theorem proved by Lindenstrauss and Barak Weiss.
Detta bevisades genom att använda måttklassificeringssatsen för diagonaliserbara verkan på grupper av högre rang, och en isolationssats bevisad av Lindenstrauss och Barak Weiss.