Gnedenkos theorem