logiska stäl af inre nödwändighet bewisa.