Quelques démonstrations.