någon mera enkelt oell bevisande deducerad än den nu införda.