Satz von Bishop-de Leeuw