Analyzer
Sentence analysis
9Spans
Sentence
Span Details
この
this; last (couple of years, etc.); these; past; you (as in "you liar")-> 此のpre-noun adjective
補題
lemma; lemmatanoun
は
topic markergrammar
定理
theorem; propositionnoun
の
possession, attribution, nominalizer, or nominal linkergrammar
証明
proof; verification; certificationnoun, suru verb
に
direction, time, indirect object, or target markergrammar
必要
necessary; needed; essential; necessity; need; requirementna-adjective, noun
だ。
plain copulagrammar