theorem provingtranslation and definition "theorem proving", tamil lexiconWordTamil Definitiontheorem provingதேற்றம் நிறுவல்