Generalizations of Theorems of Rohn and Vrahatis ∗

An existence theorem for solutions of systems of nonlinear equations proved by J. Rohn is extended in two directions, one with the aim to cover a generalized version of the well-known Theorem of Miranda, stated but not proved by R.E. Moore and J.B. Kioustelidis, the other with the aim to eliminate the dependence of Rohn’s Theorem on the standard basis of R. The resulting theorem also extends a generalized version of Miranda’s Theorem proved by M.N. Vrahatis.