Detta bewisas också afföljande