How does this compare to the Picard-Lindelof theorem and the technique of Picard iteration?