Twierdzenie_Nagaty-Smirnowa does not exist