定理：一个残局，若其某个等价简化后的局面是例胜残局（等价简化指兑车，兑马，兑炮，兑兵，马兑炮），则该残局为例胜残局。
如车炮士对车双士，可以通过兑车转化为炮士例胜双士的局面，可知车炮士对车双士是例胜。