命題1：對于單調遞增趨于正無窮的數列｛an｝，任意大于a1的數m，總能在兩項an，a（n+1）之間，且m趨于無窮時，n也趨于無窮 （p1） 命題2：級數可去括號的充分條件（任意括號內的各項符號相同）（p2） 命題3：復合數列命題×3（p3） 級數重排定義/絕對收斂的重排定理（p4） 不嚴格證明的Riemann重排定理（p5） p1：

p2：

p3：

p4：

p5：