In some domains of mechanics, physics and control theory boundary value problems arise for nonlinear first order PDEs. A well-known classical result states a sufficiency condition for local existence and uniqueness of twice...