Det har nemligen bewisats,