Twierdzenie_o_rzędzie does not exist