Theorem Vs Lemmas By Language