Add proof of lift fuse
Merge pull request #3 from yfyf/lift_fuse_lemma

Add proof of lift fuse