Pour réel proche de , les extrémités de et les extrémités finies de sont des points de branchement de l'impulsion complexe. On définit On montre qu'il existe une détermination de l'impulsion complexe, disons et un voisinage réel de , disons , tels que On définit On montre le