lema is following