Twierdzenie_Serre-Swana does not exist