Twierdzenia_Prüfera does not exist