furstenberg_x2_x3_conjecture