Vi anföra som prof följande bit,