fixed incoherent "gt 0" lemma names (thanks Tobias Nipkow for pointing out)