Vocabulary


補題 hodai lemma, lemmatamath