Es sei γ eine Standardumrundung von Q innerhalb von U(P,1). Nach Fakt, angewendet auf 1z−Q, ist
Somit ist