länkar af en bevisning.