The Frobenius theorem, its Solow-Samuelson extension and the Kuhn-Tucker theorem