Sacks theorem