Talk:Borel's theorem