Lefschetz hyperplane theorem