连串证明层出