Mycielski's theorem