Menger's theorems