Detta bewisades wid enaf