A more interesting puzzle is to prove or disprove whether every algebraic, irrational number is normal (in some base).