kervaires characterization theorem