fixed proof and new lecture notes