automatic | theorem

theorem
gen.	定理

| proving

prove
gen.	証拠だてる; 証拠立てる; 証す; 証する; 挙証
law	立証する

| program

programme
gen.	メニュー; ムニュ; 曲目; 計画; 献立; 次第
abbr.	演目

- only individual words found