Statement: the signature of a 4-dimensional spin manifold is divisible by 16. Implied by the [Aatiyah-Singer Index Theorem(Aatiyah-Singer Index Theorem.md) in dimension 4