Laurent expansion theorem