Analyzer
Sentence analysis
11Spans
Sentence
Span Details
この
this; last (couple of years, etc.); these; past; you (as in "you liar")-> 此のpre-noun adjective
補助定理
lemmanoun
を
object markergrammar
使っ
use; make use of; employ; handle; spend; consume; speak-> 使うgodan verb
て、
connective te-formgrammar
主
master; lord; ruler; head; the Lord; God; main thing; chief part; primary aimnoun
定理
theorem; propositionnoun
を
object markergrammar
証明
proof; verification; certificationnoun, suru verb
し
light/support verb with a noun or noun-like phrase-> するgrammar
ます。
polite non-pastgrammar