expansion theorem