La idea de Picard se apoya sobre un resultado que será formalizado más tarde por otro teorema de punto fijo, llamado de Banach.