保存性の定理をssr_autosubst_STLC.vに移した。
進行性の定理を追加した。