Detta bevisas på framstående sättaf