Twierdzenie o ideale pierwszym