lem7(1)