We prove independence of normality to different bases We show that the set of
real numbers that are normal to some base is Sigma^0_4 complete in the Borel
hierarchy of subsets of real numbers. This was an open problem, initiated by
Alexander Kechris, and conjectured by Ditzen 20 years ago