Theorem Counter

I would like to implement counter e.g. Numbered theorems, definitions, corollaries and lemmas like Overleaf sample

@show π

π = π

@show 32

32 = 32

\begin{theorem}
Let $f$ be a function whose derivative exists in every point, then $f$ is
a continuous function.
\end{theorem}

Proposition 1.0.0 (主張名)
ぶんすうのけいさんをしたい $\frac{1}{2}$ の計算は次のようにして

\frac{1}{2}

ときれいにかける.

Theorem 2.0.0
ぶんすうのけいさんをしたい $\frac{1}{2}$ の計算は次のようにして

\frac{1}{3}

ときれいにかける.

Section

Lemma 2.1.1
ぶんすうのけいさんをしたい $\frac{1}{2}$ の計算は次のようにして

\frac{1}{4}

ときれいにかける.

Lemma 2.1.2
ぶんすうのけいさんをしたい $\frac{1}{2}$ の計算は次のようにして

\frac{1}{5}

ときれいにかける.

Lemma 2.1.3