(Der Beweis führt uns ein synthetisches Faktum vor.)