Esto se ha venido a llamar "teorema de la pompa doble".