Riquier's Existence Theorems