Skip to content

simple lemmas

simple lemmas #203