Real series/Absolute/Reordering/Fact/Proof/Exercise