furstenbergs theorem