lemmaone added, theorem stated