added lemmas-by-size-w-verses-hiur.md