misc/MultOdd: {xs : List ℕ} → All Odd xs → Odd (foldr _*_ 1 xs)