Stickelberger theorem