The assumption is that noise at each pixel is uncorrelated and has zero average value “white noise”. It is a simple statistical problem to show that if an image g(x,y) is formed by averaging M different noisy images, then expected value of g approaches original image f: