diff --git a/docs/make.jl b/docs/make.jl
index 4267110..b8b6d35 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -22,7 +22,6 @@ makedocs(;
         "Craft" => "craft.md",
         "Numerical computation" => "run-julia.md",
         "Symbolic computation" => "run-wolfram.md",
-        "Theoretical Framework" => "theory.md",
         "Gallery" => gallery_demopage,
         # "Function Reference" => "functionreference.md",
     ],
diff --git a/docs/src/run-julia.md b/docs/src/run-julia.md
index 38a827c..13293a9 100644
--- a/docs/src/run-julia.md
+++ b/docs/src/run-julia.md
@@ -11,10 +11,18 @@ pkg> add https://github.com/hyrodium/ElasticSurfaceEmbedding.jl
 ```
 
 ## Overview of our method
+Our theoretical framework is based on:
+
+* Mathematical model: Nonlinear elasticity on Riemannian manifold
+* Geometric representation: B-spline manifold
+* Numerical analysis: Galerkin method, Newton-Raphson method
+
 The computation process proceeds as shown in the following flowchart (from our paper):
 
 ![](img/flowchart.png)
 
+For more information, read [our paper](https://arxiv.org/abs/2211.06372) or contact [me](https://twitter.com/Hyrodium)!
+
 ## Example: Paraboloid
 Through this section, we treat a paraboloid ``z=x^2+y^2`` as an example.
 
diff --git a/docs/src/theory.md b/docs/src/theory.md
deleted file mode 100644
index e3f6d0b..0000000
--- a/docs/src/theory.md
+++ /dev/null
@@ -1,10 +0,0 @@
-# Theoretical framework
-
-Our theoretical framework is based on the following:
-
-* Mathematical model: Nonlinear elasticity on Riemannian manifold
-* Geometric representation: B-spline manifold
-* Numerical analysis: Galerkin method, Newton-Raphson method
-
-For more information, read our paper!
-If you have any questions, feel free to contact me on [Twitter](https://twitter.com/Hyrodium)!