It's easy to prove that light pollution exists