Den mellersta af dessa satser har , såsom bekant,