失马真成福移山未必愚用了什么典故

失马真成福用了塞翁失马焉知非福的典故，边境一老头丢了一匹马，可这匹马却把别处的良种马勾搭回家，祸转福，老头的儿子喜欢骑马，却摔断了腿，福又变祸，因为战争，健康的人参战，十不存一，老头的儿子却因为断腿，父子俩都幸存下来，祸最终成福。移山未必愚的典故出自愚公移山。一根筋的愚公首先论证了移山成功的可能，就不顾别人的嘲笑和劝告开工了。

心诚动天，天神帮了他一把，把山挪走了。充分说明有志者事竟成的道理。