detta också bevisligt , enligt följande syllogism: