Beviset kompletteras genom följandemeddelanden