lemmas method

dynamic lemmas(dynamic lemmas)

Implementation

external dynamic lemmas(dynamic lemmas);