i praktiken bevisas bland annat nf ett exempel.