Exempel kunna ledas i bevisatt