Twierdzenie Nagaty-Smirnowa