<entry> <ent_seq>2860176</ent_seq> <k_ele> <keb>証終</keb> </k_ele> <r_ele> <reb>しょうしゅう</reb> </r_ele> <sense> <pos>&n;</pos> <field>&math;</field> <gloss>end of proof</gloss> <gloss>QED</gloss> </sense> </entry>