Theory of Nonlinear Implicit Fractional Differential Equations