  A weak topological insulator in dimension $3$ is known to have a
topologically protected gapless mode along the screw dislocation. In this paper
we formulate and prove this fact with the language of C*-algebra K-theory. The
proof is based on the coarse index theory of the helical surface.
