Wenn ich Um nun auf “f(27)” ˇzu schließen will, – genügt es, daß ich die jene Implication kenne?