Detta bewisades af denorimligt