Detta bewisas af följandesom