导出

n^13-n是个导出式，现实生活里的退火倒模，测量拉卷尺前面用于握手的余白（没有刻度部分）对应的都是这个式子

任意自然数n都携带饱和模信息，比喻的说每个输出的数据自己都带着加密信息，这个加密就是饱和状态本身，全息，任意n都是nx（2730<=>1），只不过需要导出，

否则就是nx（0<=>1）

导出式（走过场，仪式化，形式）就是n^13-n