visa , att några andra själfklara satser , som t.ex.