Cancellation theorem for basic sets. Analogue of cobordism theorem.