Rokhlin's Theorem (Intersection Forms)

Theorem
Let $M$ be a smooth 4-manifold.

Then:
 * $\omega_2 \left({T \left({M}\right)}\right) = 0 \implies \operatorname {sign} Q_M = 0 \pmod {16}$

where:
 * $Q_M$ is the intersection form
 * $T \left({M}\right)$ is the tangent bundle
 * $\omega_2$ is the second Stiefel-Whitney class.