(Der Beweis führt uns ein S synthetischesc Factum vor.)