- 자동 정리 증명
- 自动化: [명사][동사] 자동화(하다).
- 定理: [명사](1)불변의 진리(眞理).(2)〈수학〉 정리(定理).
- 证明: (1)[명사][동사] 증명(하다).事实证明这个判断是正确的;사실이 이 판단이 정확하다는 것을 증명해 준다证明文件;증명 서류证明单;증명서证明人;증인证明信;증명하는 편지. 소개장(2)[명사] 증명서. 증서. 소개장.出入国证明;출입국 증명서医生证明;의사의 진단서开个证明;증명서를 하나 떼다[작성하다]
- 自动: (1)[부사] 자발적으로. 주체적으로.自动参加;자발적으로 참가하다自动撤回;스스로 철회하다自动帮忙;자발적으로 돕다(2)[형용사] 인위적인 힘을 더하지 않은. 자연적인.自动燃烧;자연 연소水自动地流到田里;물이 저절로 밭으로 흘러 들어간다(3)[형용사] (기계에 의한) 자동적인.自动曝光bàoguāng;〈촬영〉 자동 노출自动车床;자동 선반(旋盤)自动电话;자동 전화自动对焦jiāo;〈촬영〉 자동 초점 조절自动贩卖器fànmàiqì;자판기. 자동판매기自动工厂;자동화 공장自动烤干机kǎogānjī;자동 건조기自动换片器huànpiànqì;자동 음반 교환기自动计量器jìliàngqì;자동 계량기自动免疫miǎnyì;자동 면역. 천성 면역自动喷雾pēnwù电熨斗diànyùndǒu;증기다리미自动手表;자동 손목시계自动售货机;자동판매기自动售票机shòupiàojī;자동 매표기自动夜明灯;(전자 센서를 이용한) 자동 점멸등 ＝猫眼灯 →[被bèi动]
- 劳动化: [동사] (지식인에게) 노동을 몸에 익히게 하다.劳动人民要知识化, 知识分子要劳动化;근로 대중은 몸에 지식을 익히도록 해야 하고, 지식인은 노동을 몸에 익히도록 해야 한다