banniere theoreme