Theorems in differential topology