#import "mathenv.typ": *
#show: mathenv-init
#set heading(numbering: "1.")

= H1
== H2
#definition[
  #lorem(20)
]

#example[
  #lorem(10)
]

#proof[
  #lorem(30)
]

#remark[
  #lorem(10)
]

#proposition[
  #lorem(20)
]

#solution[
  #lorem(30)
  $ f(b) - f(a) = f'(xi)(b-a) $
]
#theorem[
  #lorem(20)
]


== H21

#theorem(name: "维尔斯特拉斯")[
  #lorem(20)
]

#lemma[
  
]

= H11
#theorem[
  #lorem(20)
]
