文中使用向前向后方法，对有限语言下一阶逻辑的内插定理和保持定理等几个定理，给出一种简洁的证明。

不好!这事我插定了,你想怎么样就来吧。

令左右接过画戟,去辕门外远远插定。

他的诗，如同几何圆规般，画著圆，时而亲密贴近，时而广及全球，唯一不变的是，圆规的尖端总是插定在囚室里。约翰·伯格 

我和机务统计一道,成天在荒地里跑,主要就是规划,在地里用小红旗插定开荒下犁的阡。

长老独坐林中,十分闷倦,只得强打精神,跳将起来,把行李攒在一处;将马拴在树上,取下戴的斗笠,插定了锡杖;整一整缁衣,徐步幽林,权为散闷。

陈易桐顺路拔出雪地的那杆长槊,看见茗茗正自翻斜的车厢里爬出身来,立刻心定,单手背身插定小铲。

但见他手中数十银针化作缕缕划破空间的流芒,飞快而准确的落到海聚礼膝盖附近的各处穴道,不过眨眼之间,数十根银针就全部插定在海聚礼的腿上。