☰

доказательство по выводу на китайском

сущ.
мат.
演绎证明 yǎnyì zhèngmíng