Döilinger föreslog denna sats: