adding theorem, fix ls typos