Säsom bewis for sin satsmeddelar