Det senare bevisas bland annat afdet