别来无恙
一见如故

久别重逢的时光，是否别来无恙

不鸣则已
一鸣惊人

没有金刚钻
不揽瓷器活！

【数学命题的证明】从命题的题设出发经过演绎推理用以判断命题的结论正确的过程叫做对数学真命题的证明。这类数学命题的证明分两种情形：
【1.条件与结论皆为全称的命题】要证明该型真命题，就是证明凡符合题设的全称条件（共轭偶数），必须得出全称结论（映射基数全息分块模型使e(1,1)整块析出）.
例如 【命题F(a,b)】 每一个充分大的偶数都是素因数个数分别不超过a与b的两个殆素数之和】(该命题与“每一个6n+r(r=-2,0,+2)型大偶数表为两个奇数之和的方法数等于12ֿ¹6n”等价).是全称命题，因而“其条件与结论的基数解为全称”。
【2.条件全称但结论特称的命题】要证明该型真命题，就是证明凡符合题设的全称条件，只须得出特称结论.
例如 【命题A 每一个大于等于6的偶数都可表为两个奇素数之和】.其中“大于等于6的偶数”是全称的，而“两个奇素数之和”则仅为特称（非映射基数模型使特称e(1,1)另块析出）。
证明一个命题的一般步骤如下：
步骤1.分清命题的条件、结论及其属性.在【已知】中写出题设，在【求证】中写出结论.
步骤2.在【证明】中写出全部推理过程
步骤3.最后用数集扩充算律不变定理结尾