Twierdzenie_Poincarego-Mirandy does not exist