<entry> <ent_seq>2860176</ent_seq> <k_ele> <keb>証終</keb> </k_ele> <r_ele> <reb>しょうしゅう</reb> </r_ele> <trans> <trans_det>end of proof</trans_det> <trans_det>QED</trans_det> </trans> </entry>