On the Theory of a Novel High-Order Time-Marching Algorithm Based on Picard Iteration