(BC1) Si [formule], alors [formule]. (BC2) Si les [formule] sont mutuellement indépendants et [formule], alors [formule].
BC1 : [formule]. Ce reste de série convergente tend vers 0. BC2 : [formule] (indépendance). Or [formule], donc [formule] quand [formule]. Donc [formule] pour tout [formule], d'où [formule].